Бина́рное (двуме́стное) отноше́ние (соответствие) — отношение между двумя множествами ${\displaystyle A}$ и ${\displaystyle B}$, то есть всякое подмножество декартова произведения этих множеств: ${\displaystyle R\subseteq A\times B}$. Бинарное отношение на множестве ${\displaystyle A}$ — любое подмножество ${\displaystyle R\subseteq A^{2}=A\times A}$, такие бинарные отношения наиболее часто используются в математике, в частности, таковы равенство, неравенство, эквивалентность, отношение порядка.